$\forall$$A$, $B$:Realizer.
\\[0ex]R{-}Feasible($A$)
\\[0ex]$\Rightarrow$ R{-}Feasible($B$)
\\[0ex]$\Rightarrow$ $A$ $\parallel$ $B$
\\[0ex]$\Rightarrow$ (R{-}size($A$) $\leq$ 1)
\\[0ex]$\Rightarrow$ (R{-}size($B$) $\leq$ 1)
\\[0ex]$\Rightarrow$ R{-}discrete($A$) $\parallel$ R{-}discrete($B$)